Pointer analysis - PDFSEARCH.IO - Document Search Engine

Pointer analysis
Results: 174

#	Item
51	Practical Program Analysis of Object-oriented Software Part 2 Dr. Barbara G. Ryder Rutgers University Add to Reading List Source URL: people.cs.vt.edu Language: English - Date: 2006-09-27 18:46:19 Software testing Computing platforms Fault injection Java Call graph Exception handling Pointer ALGOL 68 C Sharp Computing Software engineering Computer programming
52	Aachen Department of Computer Science Technical Report Automated Termination Analysis for Programs with Pointer Add to Reading List Source URL: verify.rwth-aachen.de Language: English - Date: 2015-01-30 08:47:52
53	COMBINING HIGH LEVEL ALIAS ANALYSIS WITH LOW LEVEL CODE COMPACTION OF THE LINUX KERNEL BY JOHN EDISON TRIMBLE A Thesis Submitted to The Honors College Add to Reading List Source URL: www.cs.arizona.edu Language: English - Date: 2010-09-26 23:49:12 Aliasing Call graph Alias analysis GNU Compiler Collection C Intermediate language Pointer Reference Static single assignment form Software Computing Compiler construction
54	A Formally-Verified Alias Analysis Valentin Robert1,2 and Xavier Leroy1 1 INRIA Paris-Rocquencourt University of California, San Diego Add to Reading List Source URL: gallium.inria.fr Language: English - Date: 2012-09-27 10:06:58 Static program analysis Programming language implementation Compiler construction Alias analysis Pointer Compiler optimization Abstract interpretation ATS Stack Software engineering Computing Programming language theory
55	How is Aliasing Used in Systems Software? Brian Hackett Alex Aiken Computer Science Department Stanford University Add to Reading List Source URL: theory.stanford.edu Language: English - Date: 2006-09-05 19:58:01 Computing Digital signal processing Signal processing Aliasing Program analysis Pointer aliasing Alias analysis Call graph Reference Compiler construction Software engineering Programming language theory
56	Identification of Logically Related Heap Regions Mark Marron1 Deepak Kapur2 Manuel Hermenegildo1 Add to Reading List Source URL: www.clip.dia.fi.upm.es Language: English - Date: 2009-07-29 18:36:45 Programming language theory Garbage collection Voronoi diagram Pointer analysis Analysis Region-based memory management Heap C dynamic memory allocation D-ary heap Memory management Computing Software engineering
57	888: LLVM Week 4 - LLVM-IR II Tobias Grosser Last week problem - Sum Add to Reading List Source URL: www.grosser.es Language: English - Date: 2010-07-25 08:26:30 Data types Procedural programming languages Compiler construction Program analysis C programming language LLVM Pointer C Struct Software engineering Computing Computer programming
58	A Formally-Verified Alias Analysis Valentin Robert1,2 and Xavier Leroy1 1 INRIA Paris-Rocquencourt University of California, San Diego Add to Reading List Source URL: pauillac.inria.fr Language: English - Date: 2012-09-27 10:06:58 Static program analysis Programming language implementation Compiler construction Alias analysis Pointer Compiler optimization Abstract interpretation ATS Stack Software engineering Computing Programming language theory
59	Review and Analysis of Synthetic Diversity for Breaking Monocultures James E. Just Mark W. Cornwell Add to Reading List Source URL: www.icir.org Language: English - Date: 2004-11-03 12:02:48 Computer file formats Assembly languages Dynamic-link library Library COM file Portable Executable Pointer Linker Executable Computing Software Programming language implementation